$\forall$$i$:Id. Inlnk($i$) $\in$ IdLnk$\rightarrow$Prop